Specifying Graph-like Diagrams with Dia Gne
نویسندگان
چکیده
منابع مشابه
Specifying Graph-like Diagrams with DIAGEN
This extended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented approach considers graph-like languages whose diagrams consist of nodes and edges with different types. The specification method allows to describe such graphs in terms of their node and edge types and makes use...
متن کاملSpecifying behavioral semantics of UML diagrams through graph transformations
The Unified Modeling Language (UML) has been widely accepted as a standard for modeling software systems from various perspectives. The intuitive notations of UML diagrams greatly improve the communication among developers. However, the lack of a formal semantics makes it difficult to automate analysis and verification. This paper offers a graphical yet formal approach to specifying the behavio...
متن کاملSpecifying Computer Systems with Probabilistic Sequence Diagrams
Probability often plays a major role in the specification of computer systems, for a number of reasons. Probabilistic requirements are, of course, essential for specifying applications such as games of chance or probabilistic algorithms. Soft real-time requirements are probabilistic requirements that are very important when we are interested in the performance characteristics of a system. Proba...
متن کاملSpecifying Graph Languages with Type Graphs
We investigate three formalisms to specify graph languages, i.e. sets of graphs, based on type graphs. First, we are interested in (pure) type graphs, where the corresponding language consists of all graphs that can be mapped homomorphically to a given type graph. In this context, we also study languages specified by restriction graphs and their relation to type graphs. Second, we extend this b...
متن کاملSpecifying Agent Interaction Protocols with UML Activity Diagrams
In this paper, we will demonstrate how the Unified Modeling Language (UML) can be used to describe agent interaction protocols. The approach that is presented in this paper does not propose major enhancements or completely new diagrams but instead it relies on existing UML elements that are part of the standard. This conformity with the base UML is a major advantage of the idea as it prevents a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80761-3